La teoría de prototipos es una teoría desarrollada en el marco de la psicología cognitiva y la lingüística cognitiva que explica de modo naturalista la categorización, y se opone al modelo tradicional de la categorización basado en la lógica aristotélica en el que la pertenencia de los miembros a categorías dependía de condiciones necesarias y suficientes. Frente a la creencia común de que las categorías son clases homogéneas y discretas, la teoría de prototipos propone una concepción de las categorías como clases heterogéneas y no discretas que dependen de la cognición (humana o animal), en las que habría algunos miembros más representativos de la categoría que otros. Los miembros más representativos de cada clase se llaman prototipos, de ahí el nombre de la teoría.